1. Term indexing
پدیدآورنده : Graf, Peter, 6691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Expert systems )Computer science(,، Artificial intelligence,، Indexing
رده :
QA
76
.
L28
Vol
.
1053
